Per Martin-Löf
#Fleeting_Notes
Per Martin-Löf(ペール・マルティン=レーフ)
哲学者
Martin-Löf型理論の人
『Intuitionistic Type Theory』
The collected works of Per Martin-Löf
マルティン=レーフの文献一覧
確認用
Q. Per Martin-Löf
調査用
/pogi-log/Google.icon ペール・マルティン=レーフ(日)
/pogi-log/Google.icon Per Martin-Löf(英)
/pogi-log/Wikipedia.icon
ペール・マルティン＝レーフ - Wikipedia(日)
ペール・マルティン＝レーフ(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Per Martin-Löf - Wikipedia(英)
Per Martin-Löf(検索) - Wikipedia(英)